Object type

Results: 830



#Item
261Logic in computer science / Functional languages / Procedural programming languages / Programming paradigms / Type theory / Denotational semantics / ML / Programming language / Common Object Request Broker Architecture / Software engineering / Computing / Theoretical computer science

Claudio Vittorio Russo UK Address: Nationality: 3F1 12 Dryden Street Date of Birth: Edinburgh, EH7 4PN

Add to Reading List

Source URL: www.dcs.ed.ac.uk

Language: English - Date: 1999-06-03 18:41:49
262Object-oriented programming / Object / Common Lisp Object System / Constant / Type system / Mutator method / Self / Object model / Prototype-based programming / Software engineering / Computer programming / Computing

A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008

Add to Reading List

Source URL: cran.uib.no

Language: English - Date: 2008-08-20 09:09:33
263Object-oriented programming / Object / Common Lisp Object System / Constant / Type system / Mutator method / Self / Object model / Prototype-based programming / Software engineering / Computer programming / Computing

A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008

Add to Reading List

Source URL: cran.um.ac.ir

Language: English
264Type theory / Data types / Functional languages / Object-oriented programming / Procedural programming languages / Type system / Type safety / Subtype polymorphism / Polymorphism / Software engineering / Computing / Programming language theory

Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† †

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2012-08-10 19:25:18
265Programming language theory / Data types / Polymorphism / Lambda calculus / Object-oriented programming / Type system / Type inference / Hindley–Milner / Simply typed lambda calculus / Software engineering / Type theory / Computing

Polymorphic Binding Time Analysis Masters Thesis Christian Mossin DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen Ø

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:04:52
266Data types / Object-oriented programming / Model theory / Polymorphism / Type system / Type safety / Structure / Function overloading / C++ classes / Software engineering / Type theory / Computing

A Type System for Object Models Jonathan Edwards, Daniel Jackson and Emina Torlak Computer Science & Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA 02139 {jedwards, dnj, emina@mit

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2014-08-13 19:26:58
267Object-oriented programming / Object / Common Lisp Object System / Constant / Type system / Mutator method / Self / Object model / Prototype-based programming / Software engineering / Computer programming / Computing

A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008

Add to Reading List

Source URL: cran.nexr.com

Language: English - Date: 2008-08-20 09:09:33
268Object-oriented programming / Object / Common Lisp Object System / Constant / Type system / Mutator method / Self / Object model / Prototype-based programming / Software engineering / Computer programming / Computing

A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008

Add to Reading List

Source URL: cran.case.edu

Language: English - Date: 2008-08-20 09:09:33
269Cross-platform software / Type theory / Data types / Information Object Class / Abstract Syntax Notation One / Type safety / C / Pointer / Type system / Computing / Software engineering / Computer programming

ASN1C Support for Information Objects and Parameterized Types Objective Systems, Inc., April 2002

Add to Reading List

Source URL: www.obj-sys.com

Language: English - Date: 2004-07-07 00:00:00
270Object-oriented programming / Object / Common Lisp Object System / Constant / Type system / Mutator method / Self / Object model / Prototype-based programming / Software engineering / Computer programming / Computing

A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008

Add to Reading List

Source URL: stat.ethz.ch

Language: English - Date: 2008-08-20 09:09:33
UPDATE